Words added by the Jazzy dialog to the (external)
dictionary are not saved there, whether
"options.jazzy.disk-based" is set (1) or not (2).
(1)
options.jazzy.disk-based=true
options.jazzy.dictionary=/home/nolda/tmp/words
(2)
options.jazzy.dictionary=/home/nolda/tmp/test.dic
I am using JazzyPlugin 0.2.1 with JEdit 4.1final and
IBM's 1.4.1 JRE on Linux.
Andreas Nolda
andreas.nolda@rz.hu-berlin.de
| Submitted | *anonymous - 2003-07-29 21:46:21 | Assigned | |
|---|---|---|---|
| Priority | 5 | Labels | |
| Status | open | Group | None |
| Resolution | None |